Performance optimisation of a CNC machine through exploration of timed state space

نویسندگان

  • Miguel Mujica Mota
  • Miquel Angel Piera Eroles
چکیده

Flexible production units provide very efficient mechanisms to adapt the type and production rate according to fluctuations in the demand. The optimal sequence of the different manufacturing tasks in each machine is a challenging problem that can deal with important productivity benefits. In this paper a Coloured Petri Net model of an eyeglass flexible production machine to support the evaluation of different task sequences for a given production mix, is presented. The problem of finding an optimal sequence for this machine is faced with an approach which uses the state space of the model as a search space. Due to the state space explosion, the model has been developed to support some heuristics in order to avoid the analysis of non-optimal scenarios. Proceedings of the European Modeling and Simulation Symposium, EMSS 2009 Vol II ISBN 978-84-692-5415-8 20

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Optimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System

Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...

متن کامل

Optimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System

Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...

متن کامل

Distributing Timed Model Checking - How the Search Order Matters

In this paper we address the problem of distributing model checking of timed automata. We demonstrate through four real life examples that the combined processing and memory resources of multiprocessor computers can be effectively utilized. The approach assumes a distributed memory model and is applied to both a network of workstations and a symmetric multiprocessor machine. However, certain un...

متن کامل

Timed Transition Automata as Numerical Planning Domain

A general technique for transforming a timed finite state automaton into an equivalent automated planning domain based on a numerical parameter model is introduced. Timed transition automata have many applications in control systems and agents models; they are used to describe sequential processes, where actions are labelling by automaton transitions subject to temporal constraints. The languag...

متن کامل

Reachability checking in complex and concurrent software systems using intelligent search methods

Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • IJSPM

دوره 6  شماره 

صفحات  -

تاریخ انتشار 2010